formal verification
Sui Prover Enhances Smart Contract Verification on Sui Blockchain
Sui Prover introduces formal verification for smart contracts on the Sui blockchain, ensuring enhanced security and reliability. Developed by Asymptotic, it's now available to developers seeking robust contract validation.
Verizon's New Blockchain Verification Tool 'Full Transparency' Combats Fake News
Verizon has unveiled a blockchain-based solution dubbed 'Full Transparency' for the verification of news and media releases.
Unstoppable Domains and Chainlink Introduce Twitter Verification for Crypto Payments
Unstoppable Domains and Chainlink, the secure oracle network, have launched a Twitter authentication service for .crypto addresses.
Japan Will Include Central Bank Digital Currency in Honebuto Economic Plan
The Japanese Government has continued its acceleration towards a Central Bank Digital Currency (CBDC) and is set to include its consideration in its formal economic plan.
US SEC Commissioner Proposes 3 Year Securities Law Exemption for Crypto Projects
United States Securities and Exchange Commission (SEC) Commissioner Hester Peirce has doubled down on her recent suggestion to provide decentralized network developers a safe harbor and has now submitted a formal proposal.
UPS and HerdX Deliver Blockchain Verified Beef
With the successful shipment and verification of beef products within Texas, HerdX and UPS are setting a pace in the use of blockchain for global supply chain
Students at Texas-based University Accorded with Blockchain-Powered GreenLight Credentials
The University of North Texas (UNT) in Dallas has unveiled GreenLight Credentials, a blockchain-enabled academic records verification platform, for its students, giving them more control of their transcripts.
Litecoin Confirms MimbleWimble Test Network Set Later This Year, LTC Price Predictions are High
Litecoin’s core developer, David Burkett confirmed that the test network for MimbleWimble’s implementation is set for September this year. Litecoin features faster transaction verification times and improved storage efficiency compared to Bitcoin.
Ethereum Gathers Cybersecurity Team Dedicated to ETH 2.0 Final Testnet Launch
With the launch of Ethereum 2.0 testnet set to be released today on August 4 at 1 pm UTC, the Ethereum Foundation has been looking to build a security team that will be responsible for maintaining ETH 2.0.
Dock Launches Mainnet For The Creation of Verifiable Credentials
In just a few days, Dock will be introducing its mainnet with the aim to solve many of today’s issues with digital credentials. Scheduled for September 30, 2020, the mainnet launch is the culmination of years of collaboration, hard work, and testing that brings to the market a bespoke credential issuing and verification platform.
Tezos Blockchain Chosen for French Digital Euro by Societe Generale-Forge
Societe Generale-Forge has selected the Tezos blockchain for its central bank digital currency (CBDC) experiment with the French central bank.
How Can Blockchain Technology End Labour Market Woes?
In its usual bid to take over the technology ecosystem, blockchain technology can be instrumental in the fight against unemployment through a creative aggregation of data for easy verification. This is revealed in a research report published on June 8 and sponsored by the American Council on Education.
Crypto Project Baer Chain Has Been Classified as a Ponzi Scheme by the Chinese Police Department
The police department of the Haizhou district in Lianyungang, a coastal city in China published a notice on " information verification and registration of investment members of the Baer Chain case” on June 15. According to the notice, the project has been classified as a Ponzi scheme.